DEF = smt-lemma
include $(CURDIR)/../include.mk
